Validez de un razonamiento con leyes lógicas